141. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
142. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
143. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
144. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
145. Algebraic methods of mathematical logic
پدیدآورنده : Rieger, Ladislav
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
146. Algebraic perspectives on substructural logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
147. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
148. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
149. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
150. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
151. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده : ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274
152. Algorithmic logic /
پدیدآورنده : G. Mirkowska and A. Salwicki
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
153. <An> Introduction to Geodel's Theorems
پدیدآورنده : Peter Smith
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Logic, Symbolic and mathematical,Geodel numbers,Geodel, Kurt
رده :
511
.
3
S642I
154. <An> Introduction to Hilbert Space and Quantum Logic
پدیدآورنده : David W. Cohen
موضوع : Hilbert Space,Quantum Theory,Logic, Symbolic and Mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
155. An Introduction to Hilbert space and guantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
156. An Introduction to Hilbert space and quantum logic
پدیدآورنده : / David W. Cohen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Hilbert space,Quantum theory,Logic, Symbolic and mathematical
رده :
QA322
.
4
.
C64
1989
157. An Invitation to Abstract Mathematic
پدیدآورنده : / by B?شla Bajnok
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
158. An Outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
159. <An> outline of set theory
پدیدآورنده : James M. Henle
موضوع : Set theory,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
160. An algebraic approach to non-classical logics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
R224
